Solving A Logic Puzzle Using Deductive Reasoning